Weak modular Zilber–Pink with derivatives

نویسندگان

چکیده

In unpublished notes Pila proposed a Modular Zilber-Pink with Derivatives (MZPD) conjecture, which is type statement for the modular $j$-function and its derivatives. this article we define D-special varieties, then state prove two functional (differential) analogues of MZPD conjecture those varieties. particular, weak version MZPD. As special case our results, obtain Andr\'e-Oort statement. The main tools used in paper come from (model theoretic) differential algebra complex analytic geometry, Ax-Schanuel theorem derivatives (established by Tsimerman) plays crucial role proofs. proof second also use an Existential Closedness equation $j$-function.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modular Ax-Lindemann-Weierstrass with Derivatives

In a recent paper I established an analogue of the Lindemann-Weierstrass part of Ax-Schanuel for the elliptic modular function. Here I extend this to include its first and second derivatives. A generalisation is given that includes exponential and Weierstrass elliptic functions as well. 2000 Mathematics Subject Classification: 11G18, 03C64

متن کامل

A dévissage theorem for modular exact categories with weak equivalences

In this note, we will introduce a notion of modularity of exact categories due to Masana Harada [Har05]. The naming is coming from the classical modular lattices theory [Bir48]. We will also state and prove so-called “homotopy Grayson-Staffeldt-Jordan-Hölder theorem” which is implicitly appeared in [Gra87] and [Sta89]. The theorem says contractibility of a simplicial set associated to a certain...

متن کامل

Modular Proof Systems for Partial Functions with Weak Equality

The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pure, only involving clauses over the alphabet of either one, but not both, of the theories. The calculus is shown to be complete provided that functions that are not in the intersection of the component signatures are d...

متن کامل

Extensions of Some Fixed Point Theorems for Weak-Contraction Mappings in Partially Ordered Modular Metric Spaces

The purpose of this paper is to establish fixed point results for a single mapping in a partially ordered modular metric space, and to prove a common fixed point theorem for two self-maps satisfying some weak contractive inequalities.

متن کامل

Modular Reasoning, and Weak Behavioral Subtyping

Existing work on behavioral subtyping either ignores aliasing or restricts the behavior of additional methods in a subtype and only allows one to use invariants and history constraints in reasoning. This prevents many useful subtype relationships; for example, a type with immutable objects (e.g., immutable sequences), cannot have a behavioral subtype with mutable objects (e.g., mutable arrays)....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Mathematische Annalen

سال: 2021

ISSN: ['1432-1807', '0025-5831']

DOI: https://doi.org/10.1007/s00208-021-02213-7